public record TopLevelPublicRecord(<caret>) {
}